Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
531	PDF Document Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2008-08-22 09:54:26 American Sign Language Computability theory Association for Symbolic Logic John Myhill Nels David Nelson Anil Nerode Saul Kripke Mereology Logic Mathematical logic Philosophy
532	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
533	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Proof theory Model theory Computability theory Functions and mappings Dialectica interpretation Intuitionism Interpretation Symbol Gödel–Gentzen negative translation Mathematical logic Logic Mathematics
534	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2008-08-14 05:29:12 Logic Lattice theory Mathematical constructivism Non-classical logic Heyting algebra Turing degree Reduction Turing reduction Albert Muchnik Mathematical logic Mathematics Computability theory
535	PDF Document Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2001-11-29 21:41:00 Mathematical logic Theory of computation Formal methods Models of computation Church–Turing thesis Logic Computable function Computability Turing degree Computability theory Theoretical computer science Mathematics
536	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 18:14:48 Computability theory Effective descriptive set theory Functions and mappings Function Reverse mathematics Second-order arithmetic Constructivism Impredicativity Peano axioms Mathematics Mathematical logic Logic
537	PDF Document Add to Reading List Source URL: math.nju.edu.cn Language: English - Date: 2007-02-14 02:18:04 Proof theory Mathematical logic Diophantine set Computability theory Theory of computation Polynomial Recursively enumerable set Number theory Decidability Mathematics Logic Diophantine equations
538	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2003-05-21 20:14:13 Subroutines Computability theory Programming idioms Mathematical logic Compiler optimizations Divide and conquer algorithm Recursion Inline expansion Loop unwinding Computer programming Computing Software engineering
539	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-27 05:55:04 Logic in computer science Programming language semantics Models of computation Computability theory Metalogic Denotational semantics Free variables and bound variables Operational semantics Entailment Theoretical computer science Logic Mathematical logic
540	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Theory of computation Mathematical logic Turing machine Computable number Computable function Entscheidungsproblem Definable real number Function Turing machine examples Computability theory Theoretical computer science Mathematics

UPDATE